Debray, Saumya K.: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

Abstract interpretation of logic programs using magic transformations

Saumya Debray, Raghu Ramakrishnan

Journal:

The Journal of Logic Programming

Year:

1994

Language:

english

File:

PDF, 2.26 MB

english, 1994

2

Flow analysis of dynamic logic programs

Saumya K. Debray

Journal:

The Journal of Logic Programming

Year:

1989

Language:

english

File:

PDF, 1.99 MB

english, 1989

3

Interprocedural control flow analysis of first-order programs with tail-call optimization

Debray, Saumya K., Proebsting, Todd A.

Journal:

ACM Transactions on Programming Languages and Systems

Year:

1997

Language:

english

File:

PDF, 236 KB

english, 1997

4

Functional computations in logic programs

Debray, Saumya K., Warren, David S.

Journal:

ACM Transactions on Programming Languages and Systems

Year:

1989

Language:

english

File:

PDF, 2.24 MB

english, 1989

5

Return value placement and tail call optimization in high level languages

Peter A Bigot, Saumya Debray

Journal:

The Journal of Logic Programming

Year:

1999

Language:

english

File:

PDF, 2.77 MB

english, 1999

6

On the complexity of dataflow analysis of logic programs

Debray, Saumya K.

Journal:

ACM Transactions on Programming Languages and Systems

Year:

1995

Language:

english

File:

PDF, 2.34 MB

english, 1995

7

[ACM Press the 10th ACM conference - Washington D.C., USA (2003.10.27-2003.10.30)] Proceedings of the 10th ACM conference on Computer and communication security - CCS '03 - Obfuscation of executable code to improve resistance to static disassembly

Linn, Cullen, Debray, Saumya

Year:

2003

Language:

english

File:

PDF, 152 KB

english, 2003

8

[ACM Press the Tenth International Symposium - San Jose, California (2012.03.31-2012.04.04)] Proceedings of the Tenth International Symposium on Code Generation and Optimization - CHO '12 - Micro-specialization

Zhang, Rui, Debray, Saumya, Snodgrass, Richard T.

Year:

2012

Language:

english

File:

PDF, 614 KB

english, 2012

9

[IEEE 2015 IEEE Symposium on Security and Privacy (SP) - San Jose, CA, USA (2015.5.17-2015.5.21)] 2015 IEEE Symposium on Security and Privacy - A Generic Approach to Automatic Deobfuscation of Executable Code

Yadegari, Babak, Johannesmeyer, Brian, Whitely, Ben, Debray, Saumya

Year:

2015

Language:

english

File:

PDF, 596 KB

english, 2015

10

alto: a link-time optimizer for the Compaq Alpha

Robert Muth, Saumya K. Debray, Scott Watterson, Koen De Bosschere

Journal:

Software: Practice and Experience

Year:

2001

Language:

english

File:

PDF, 460 KB

english, 2001

11

[IEEE 2012 IEEE International Conference on Data Engineering (ICDE 2012) - Arlington, VA, USA (2012.04.1-2012.04.5)] 2012 IEEE 28th International Conference on Data Engineering - Micro-Specialization in DBMSes

Zhang, Rui, Snodgrass, Richard T., Debray, Saumya

Year:

2012

Language:

english

File:

PDF, 305 KB

english, 2012

12

[ACM Press the 18th ACM conference - Chicago, Illinois, USA (2011.10.17-2011.10.21)] Proceedings of the 18th ACM conference on Computer and communications security - CCS '11 - Deobfuscation of virtualization-obfuscated software

Coogan, Kevin, Lu, Gen, Debray, Saumya

Year:

2011

Language:

english

File:

PDF, 467 KB

english, 2011

13

[ACM Press the 22nd ACM SIGSAC Conference - Denver, Colorado, USA (2015.10.12-2015.10.16)] Proceedings of the 22nd ACM SIGSAC Conference on Computer and Communications Security - CCS '15 - Symbolic Execution of Obfuscated Code

Yadegari, Babak, Debray, Saumya

Year:

2015

Language:

english

File:

PDF, 670 KB

english, 2015

14

Profile-guided code compression

Debray, Saumya, Evans, William

Journal:

ACM SIGPLAN Notices

Year:

2002

Language:

english

File:

PDF, 174 KB

english, 2002

15

[IEEE 2013 8th International Conference on Malicious and Unwanted Software: "The Americas" (MALWARE) - Fajardo, PR, USA (2013.10.22-2013.10.24)] 2013 8th International Conference on Malicious and Unwanted Software: "The Americas" (MALWARE) - A simple client-side defense against environment-dependent web-based malware

Lu, Gen, Chadha, Karan, Debray, Saumya

Year:

2013

Language:

english

File:

PDF, 331 KB

english, 2013

16

Denotational and operational semantics for prolog

Saumya K. Debray, Prateek Mishra

Journal:

The Journal of Logic Programming

Year:

1988

Language:

english

File:

PDF, 2.03 MB

english, 1988

17

[IEEE 2012 IEEE International Conference on Data Engineering Workshops (ICDEW) - Arlington, VA, USA (2012.04.1-2012.04.5)] 2012 IEEE 28th International Conference on Data Engineering Workshops - Application of Micro-specialization to Query Evaluation Operators

Zhang, Rui, Snodgrass, Richard T., Debray, Saumya

Year:

2012

Language:

english

File:

PDF, 377 KB

english, 2012

18

Cost analysis of logic programs

Debray, Saumya K., Lin, Nai-Wei

Journal:

ACM Transactions on Programming Languages and Systems

Year:

1993

Language:

english

File:

PDF, 2.87 MB

english, 1993

19

[ACM Press the ACM SIGPLAN workshop - Snow Bird, Utah, United States (2001..-..)] Proceedings of the ACM SIGPLAN workshop on Languages, compilers and tools for embedded systems - LCTES '01 - Combining Global Code and Data Compaction

De Sutter, Bjorn, De Bus, Bruno, De Bosschere, Koen, Debray, Saumya

Year:

2001

Language:

english

File:

PDF, 187 KB

english, 2001

20

[IEEE 2018 IEEE European Symposium on Security and Privacy (EuroS&P) - London (2018.4.24-2018.4.26)] 2018 IEEE European Symposium on Security and Privacy (EuroS&P) - Probabilistic Obfuscation Through Covert Channels

Stephens, Jon, Yadegari, Babak, Collberg, Christian, Debray, Saumya, Scheidegger, Carlos

Year:

2018

Language:

english

File:

PDF, 322 KB

english, 2018

21

Profiling prolog programs

Saumya K. Debray

Journal:

Software: Practice and Experience

Year:

1988

Language:

english

File:

PDF, 1.12 MB

english, 1988

22

Reasoning about naming systems

Bowman, Mic, Debray, Saumya K., Peterson, Larry L.

Journal:

ACM Transactions on Programming Languages and Systems

Year:

1993

Language:

english

File:

PDF, 2.11 MB

english, 1993

23

[ACM Press the 1995 ACM SIGPLAN symposium - La Jolla, California, United States (1995.06.21-1995.06.23)] Proceedings of the 1995 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation - PEPM '95 - Abstract interpretation and low-level code optimization

Year:

1995

Language:

english

File:

PDF, 1.17 MB

english, 1995

24

[ACM Press the 5th ACM Conference - San Antonio, Texas, USA (2015.03.02-2015.03.04)] Proceedings of the 5th ACM Conference on Data and Application Security and Privacy - CODASPY '15 - Identifying and Understanding Self-Checksumming Defenses in Software

Qiu, Jing, Yadegari, Babak, Johannesmeyer, Brian, Debray, Saumya, Su, Xiaohong

Year:

2015

Language:

english

File:

PDF, 762 KB

english, 2015

25

[ACM Press the 21st ACM SIGPLAN-SIGACT symposium - Portland, Oregon, United States (1994.01.16-1994.01.19)] Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '94 - Call forwarding

De Bosschere, Koen, Debray, Saumya, Gudeman, David, Kannan, Sampath

Year:

1994

Language:

english

File:

PDF, 1.11 MB

english, 1994

26

[IEEE 2009 16th Working Conference on Reverse Engineering - Lille, France (2009.10.13-2009.10.16)] 2009 16th Working Conference on Reverse Engineering - Automatic Static Unpacking of Malware Binaries

Coogan, Kevin, Debray, Saumya, Kaochar, Tasneem, Townsend, Gregg

Year:

2009

Language:

english

File:

PDF, 247 KB

english, 2009

27

[ACM Press the ACM SIGPLAN 2002 Conference - Berlin, Germany (2002.06.17-2002.06.19)] Proceedings of the ACM SIGPLAN 2002 Conference on Programming language design and implementation - PLDI '02 - Profile-directed optimization of event-based programs

Rajagopalan, Mohan, Debray, Saumya K., Hiltunen, Matti A., Schlichting, Richard D.

Year:

2002

Language:

english

File:

PDF, 164 KB

english, 2002

28

Making compiler design relevant for students who will (most likely) never design a compiler

Journal:

ACM SIGCSE Bulletin

Year:

2002

Language:

english

File:

PDF, 484 KB

english, 2002

29

Guest editor's introduction

Saumya K. Debray

Journal:

The Journal of Logic Programming

Year:

1992

Language:

english

File:

PDF, 204 KB

english, 1992

30

[IEEE 2014 IEEE 14th International Working Conference on Source Code Analysis and Manipulation (SCAM) - Victoria, BC, Canada (2014.9.28-2014.9.29)] 2014 IEEE 14th International Working Conference on Source Code Analysis and Manipulation - Bit-Level Taint Analysis

Yadegari, Babak, Debray, Saumya

Year:

2014

Language:

english

File:

PDF, 774 KB

english, 2014

31

A semantics-based approach to malware detection

Preda, Mila Dalla, Christodorescu, Mihai, Jha, Somesh, Debray, Saumya

Journal:

ACM Transactions on Programming Languages and Systems

Year:

2008

Language:

english

File:

PDF, 609 KB

english, 2008

32

[ACM Press the 1997 ACM SIGPLAN symposium - Amsterdam, The Netherlands (1997.06.12-1997.06.13)] Proceedings of the 1997 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation - PEPM '97 - Resource-bounded partial evaluation

Year:

1997

Language:

english

File:

PDF, 1.30 MB

english, 1997

33

[ACM Press the 25th ACM SIGPLAN-SIGACT symposium - San Diego, California, United States (1998.01.19-1998.01.21)] Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '98 - Alias analysis of executable code

Debray, Saumya, Muth, Robert, Weippert, Matthew

Year:

1998

Language:

english

File:

PDF, 1.54 MB

english, 1998

34

Resource-bounded partial evaluation

Journal:

ACM SIGPLAN Notices

Year:

1997

Language:

english

File:

PDF, 1.30 MB

english, 1997

35

Profile-directed optimization of event-based programs

Rajagopalan, Mohan, Debray, Saumya K., Hiltunen, Matti A., Schlichting, Richard D.

Journal:

ACM SIGPLAN Notices

Year:

2002

Language:

english

File:

PDF, 164 KB

english, 2002

36

[ACM Press the 20th ACM SIGPLAN-SIGACT symposium - Charleston, South Carolina, United States (1993..-..)] Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '93 - Compositional analysis of modular logic programs

Codish, Michael, Debray, Saumya K., Giacobazzi, Roberto

Year:

1993

Language:

english

File:

PDF, 1.28 MB

english, 1993

37

A simple approach to supporting untagged objects in dynamically typed languages

Peter A. Bigot, Saumya K. Debray

Journal:

The Journal of Logic Programming

Year:

1997

Language:

english

File:

PDF, 1.52 MB

english, 1997

38

Static inference of modes and data dependencies in logic programs

Debray, Saumya K.

Journal:

ACM Transactions on Programming Languages and Systems

Year:

1989

Language:

english

File:

PDF, 2.55 MB

english, 1989

39

[IEEE 2011 11th IEEE Working Conference on Source Code Analysis and Manipulation (SCAM) - Williamsburg, VA, USA (2011.09.25-2011.09.26)] 2011 IEEE 11th International Working Conference on Source Code Analysis and Manipulation - Equational Reasoning on x86 Assembly Code

Coogan, Kevin, Debray, Saumya

Year:

2011

Language:

english

File:

PDF, 339 KB

english, 2011

40

[IEEE 2012 6th International Conference on Software Security and Reliability (SERE) - Gaithersburg, MD, USA (2012.06.20-2012.06.22)] 2012 IEEE Sixth International Conference on Software Security and Reliability - Automatic Simplification of Obfuscated JavaScript Code: A Semantics-Based Approach

Lu, Gen, Debray, Saumya

Year:

2012

Language:

english

File:

PDF, 738 KB

english, 2012

41

Cold code decompression at runtime

Debray, Saumya, Evans, William S.

Journal:

Communications of the ACM

Year:

2003

Language:

english

File:

PDF, 3.21 MB

english, 2003

42

Writing efficient programs

Journal:

ACM SIGCSE Bulletin

Year:

2004

Language:

english

File:

PDF, 48 KB

english, 2004

43

Efficient dataflow analysis of logic programs

Debray, Saumya K.

Journal:

Journal of the ACM

Year:

1992

Language:

english

File:

PDF, 2.70 MB

english, 1992

44

[ACM Press the Seventh ACM - Scottsdale, Arizona, USA (2017.03.22-2017.03.24)] Proceedings of the Seventh ACM on Conference on Data and Application Security and Privacy - CODASPY '17 - Analysis of Exception-Based Control Transfers

Yadegari, Babak, Stephens, Jon, Debray, Saumya

Year:

2017

Language:

english

File:

PDF, 544 KB

english, 2017

45

QD-Janus: A sequential implementation of Janus in Prolog

Saumya K. Debray

Journal:

Software: Practice and Experience

Year:

1993

Language:

english

File:

PDF, 1.50 MB

english, 1993

46

[IEEE International Symposium on Code Generation and Optimization (CGO'07) - San Jose, CA, USA (2007.03.11-2007.03.14)] International Symposium on Code Generation and Optimization (CGO'07) - Code Compaction of an Operating System Kernel

He, Haifeng, Trimble, John, Perianayagam, Somu, Debray, Saumya, Andrews, Gregory

Year:

2007

Language:

english

File:

PDF, 192 KB

english, 2007

47

[ACM Press the 35th SIGCSE technical symposium - Norfolk, Virginia, USA (2004.03.03-2004.03.07)] Proceedings of the 35th SIGCSE technical symposium on Computer science education - SIGCSE '04 - Writing efficient programs

Year:

2004

Language:

english

File:

PDF, 48 KB

english, 2004

48

[ACM Press the 33rd SIGCSE technical symposium - Cincinnati, Kentucky (2002.02.27-2002.03.03)] Proceedings of the 33rd SIGCSE technical symposium on Computer science education - SIGCSE '02 - Making compiler design relevant for students who will (most likely) never design a compiler

Year:

2002

Language:

english

File:

PDF, 484 KB

english, 2002

49

Load redundancy elimination on executable code

Manel Fernández, Roger Espasa, Saumya Debray

Journal:

Concurrency and Computation: Practice and Experience

Year:

2003

Language:

english

File:

PDF, 211 KB

english, 2003

50

Detection and optimization of suspension-free logic programs

Saumya Debray, David Gudeman, Peter Bigot

Journal:

The Journal of Logic Programming

Year:

1996

Language:

english

File:

PDF, 1.61 MB

english, 1996

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски